A number of mistakes in the proofs were let through

• 校样里有许多错误没有被发现。